Comparison between binary64 and decimal64 floating-point numbers Nicolas Brisebarre, Marc Mezzarobba Jean-Michel Muller Laboratoire LIP CNRS, ENS Lyon, INRIA,

Source URL: www.marc.mezzarobba.net

• Computer arithmetic
• Arithmetic
• Binary arithmetic
• Computing
• Computer architecture
• Decimal64 floating-point format
• Decimal floating point
• IEEE 754
• Decimal128 floating-point format
• Binary integer decimal
• Double-precision floating-point format
• Binary number

Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry

Source URL: raim2012.u-bourgogne.fr

• Mathematical analysis
• Mathematics
• Numerical analysis
• Algebra
• Polynomial
• Taylor series
• Interval arithmetic

Loslegen mit Contrexx: In 10 Schritten zur professionellen Webseite. Autor: Nicolas Müller Juli 2012

Source URL: www.cloudrexx.com

Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo

Source URL: www.diku.dk

Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo

Source URL: coccinelle.lip6.fr

• Cryptographic software
• Internet security
• Object-oriented programming languages
• OpenSSL
• Data types
• Subroutines
• Coccinelle
• D
• Software bug
• Scope
• Relational operator
• Printf format string

1 Comparison between binary and decimal floating-point numbers Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller Abstract—We introduce an algorithm to compare a binary floating-point (FP) n

Source URL: www.marc.mezzarobba.net

Late Cretaceous to present-day opening of the southwest Pacific constrained by numerical models and seismic tomography Kara J. Matthews1, Maria Seton, Nicolas Flament, R. Dietmar Müller Keywords: back-arc basin, eastern

Source URL: earthbyte.org

• Slab
• Oceanic trench
• Back-arc basin
• Mantle
• Large igneous province
• Izu-Bonin-Mariana Arc
• Halmahera Plate
• Geology
• Plate tectonics
• Subduction

Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo

Source URL: pagesperso-systeme.lip6.fr

• Source code
• Subroutines
• Cryptographic software
• OpenSSL
• Coccinelle
• Python
• Software bug
• Main function
• Printf format string
• Computer programming
• Computing
• Software engineering

Late Cretaceous to present-day opening of the southwest Pacific constrained by numerical models and seismic tomography Kara J. Matthews1, Maria Seton, Nicolas Flament, R. Dietmar Müller Keywords: back-arc basin, eastern

Source URL: www.earthbyte.org

• Slab
• Oceanic trench
• Back-arc basin
• Mantle
• Large igneous province
• Izu-Bonin-Mariana Arc
• Halmahera Plate
• Geology
• Plate tectonics
• Subduction

The Earth’s Paleozoic/Mesozoic tectonic and paleogeographic evolution Kara Matthews, Nicolas Flament, Dietmar Müller Continents and sedimentary basins through time have recorded fundamental Earth system cycles, reflec

Source URL: www.geosci.usyd.edu.au

• Subduction
• Orogeny
• Slab
• Passive margin
• Continental crust
• Mid-ocean ridge
• Mantle
• Crust
• Mantle plume
• Geology
• Plate tectonics
• Back-arc basin